41. Foundations of algorithms using C]] pseudocode
Author: Richard E. Neapolitan, Kumarss Naimipour,Title
Library: (Mazandaran)
Subject: Algorithms,Constructive mathematics,Computational complexity
Classification :
QA
.
N43
9
.
58
1997
42. Foundations of algorithms using C]] pseudocode
Author: Richard E. Neapolitan, Kumarss Naimipour,Title
Library: (Mazandaran)
Subject: Algorithms,Constructive mathematics,Computational complexity
Classification :
QA
.
N43
9
.
58
2004
43. Foundations of algorithms :Using C]] Pseudocode
Author: Richard E. Neapolitan, Kumarss Naimipour
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Algorithms,Constructive mathematics,Computational complexity
Classification :
QA
،
9
.
58
،.
N43
،
1998
44. Foundations of algorithms: using C++ pseudocode
Author: Neapolitan, Richard E.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Algorithms , Constructive mathematics , Computational complexity
Classification :
QA
9
.
58
.
N43
1998
45. Foundations of algorithms: using C++ pseudocode
Author: Neapolitan, Richard E.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algorithms,، Constructive mathematics,، Computational complexity
Classification :
QA
9
.
58
.
N43
1998
46. Foundations of constructive mathematics : metamathematical studies
Author: Beeson, Michael J.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Constructive mathematics
Classification :
QA
9
.
56
.
B44
1985
47. Foundations of constructive mathematics : metamathematical studies
Author: Beeson, Michael J
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Constructive mathematics
Classification :
QA
9
.
56
.
B44
1985
48. From peturbative to constructive renormalization
Author: / Vincent Rivasseau
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Renormalization (Physics),Quantum field theory,Perturbation (Mathematics),Constructive mathematics
Classification :
QC174
.
17
.
R46
,
R58
1991
49. From peturbative to constructive renormalization
Author: Rivasseau, Vincent
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Renormalization )Physics(,، Quantum field theory,، Perturbation )Mathematics(,، Constructive mathematics
Classification :
QC
174
.
17
.
R46
R58
1991
50. From peturbative to constructive renormalization
Author: / Vincent Rivasseau
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Renormalization (Physics),Quantum field theory,Perturbation (Mathematics),Constructive mathematics
Classification :
QC174
.
17
.
R46
,
R58
1991
51. From sets and types to topology and analysis
Author: edited by Laura Crossila and Peter Schuster
Library: Vali Asr University Central Library (Kerman)
Subject: Constructive mathematics- Congresses,Constructieve wiskunde.- gtt,Analyse )wiskunde(- gtt,Topologie.- gtt
Classification :
QA
9
.
56
.
F76
2005
52. Fundations of constructive mathematics
Author: Beeson, Michael J., 5491 -
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Constructive mathematics
Classification :
QA
9
.
56
.
B44
53. Intensional mathematics
Author: edited by Stewart Shapiro
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
Classification :
QA
9
.
46
.
I57
1985
54. Intensional mathematics
Author: / edited by Stewart Shapiro. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Modality (Logic),Constructive mathematics.,Intuitionistic mathematics.
Classification :
QA
,
9
.
46
,.
I57
,
1985
55. Intensional mathematics
Author: SHAPIRO,STEWART
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
Classification :
QA
9
.
46
.
I57
56. Intensional mathematics /
Author: edited by Stewart Shapiro
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constructive mathematics,Intuitionistic mathematics,Modality (Logic)
Classification :
QA9
.
46
.
I57
1985
57. Intentional mathematics
Author: edited by Stewart Shapiro
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
Classification :
QA
9
.
46
.
I57
1985
58. Lectures on constructive mathematical analysis
Author: Kushner, Boris Abramovich
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematical analysis,، Constructive mathematics
Classification :
QA
300
.
K8713
59. Lectures on constructive mathematical analysis
Author: Kushner, B. A.)Boris Abramovich(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematical analysis,، Constructive mathematics
Classification :
QA
300
.
K8713
1985
60. Phenomenology, logic, and the philosophy of mathematics
Author: Tieszen, Richard L.
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: Philosophy ، Mathematics,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
Classification :
QA
8
.
4
.
T534
2005
